1 results
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 203-204
- Print publication:
- June 2017
-
- Article
- Export citation